The Largest Topological Subcategory of Countably-based Equilogical Spaces

نویسندگان

  • Matías Menni
  • Alex K. Simpson
چکیده

There are two main approaches to obtaining \topological" cartesian-closed categories. Under one approach, one restricts to a full subcategory of topological spaces that happens to be cartesian closed | for example, the category of sequential spaces. Under the other, one generalises the notion of space | for example, to Scott's notion of equilogical space. In this paper we show that the two approaches are equivalent for a large class of objects. We rst observe that the category of countably-based equilogical spaces has, in a precisely deened sense, a largest full subcategory that can be simultaneously viewed as a full subcategory of topological spaces. This category consists of certain \!-projecting" topological quotients of countably-based topological spaces, and contains, in particular, all countably-based spaces. We show that this category is cartesian closed with its structure inherited, on the one hand, from the category of sequential spaces, and, on the other, from the category of equilogical spaces.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces

There are two main approaches to obtaining “topological” cartesian-closed categories. Under one approach, one restricts to a full subcategory of topological spaces that happens to be cartesian closed — for example, the category of sequential spaces. Under the other, one generalises the notion of space — for example, to Scott’s notion of equilogical space. In this paper we show that the two appr...

متن کامل

A Relationship between Equilogical Spaces and Type Two Effectivity

In this paper I compare two well studied approaches to topological semantics— the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ, and Type Two Effectivity, exemplified by the category of Baire space representations, Rep(B). These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask ...

متن کامل

Preliminary Proceedings of the 17 th Annual Conference on Mathematical Foundations of Programming Semantics MFPS ’ 01

In this paper I compare two well studied approaches to topological semantics| the domain-theoretic approach, exempli ed by the category of countably based equilogical spaces, Equ, and Type Two E ectivity, exempli ed by the category of Baire space representations, Rep(B ). These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask is...

متن کامل

COUNTABLY NEAR PS-COMPACTNESS IN L-TOPOLOGICAL SPACES

In this paper, the concept of countably near PS-compactness inL-topological spaces is introduced, where L is a completely distributive latticewith an order-reversing involution. Countably near PS-compactness is definedfor arbitrary L-subsets and some of its fundamental properties are studied.

متن کامل

Productivity of coreflective classes of topological groups

Every nontrivial countably productive coreflective subcategory of topological linear spaces is κ-productive for a large cardinal κ (see [10]). Unlike that case, in uniform spaces for every infinite regular cardinal κ, there are coreflective subcategories that are κ-productive and not κ-productive (see [8]). From certain points of view, the category of topological groups lies in between those ca...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 20  شماره 

صفحات  -

تاریخ انتشار 1999